791![Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040](https://www.pdfsearch.io/img/5d0d7f299aeb38e65694e0452143ec43.jpg) | Add to Reading ListSource URL: www.cs.tau.ac.ilLanguage: English - Date: 2005-07-19 18:40:19
|
---|
792![The 5-and-10 problem and the tiling agents formalism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written duri The 5-and-10 problem and the tiling agents formalism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written duri](https://www.pdfsearch.io/img/ec470d74ef20b13da38779e1c8e1fd18.jpg) | Add to Reading ListSource URL: intelligence.orgLanguage: English - Date: 2014-06-06 13:55:10
|
---|
793![Microsoft Word - 06_Psillos-Hendry.doc Microsoft Word - 06_Psillos-Hendry.doc](https://www.pdfsearch.io/img/1653704ca877a8f2e28f8146289a5ce7.jpg) | Add to Reading ListSource URL: users.uoa.grLanguage: English - Date: 2006-11-06 03:55:52
|
---|
794![A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh](https://www.pdfsearch.io/img/f43a5e2f06df9ca75118915ee02ffc29.jpg) | Add to Reading ListSource URL: www.sirangelo.infoLanguage: English - Date: 2014-09-08 08:04:39
|
---|
795![First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012](https://www.pdfsearch.io/img/53dfb571cf43bcb9c23b3f6787ce12f8.jpg) | Add to Reading ListSource URL: cedeela.frLanguage: English - Date: 2013-02-07 03:54:46
|
---|
796![Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence](https://www.pdfsearch.io/img/3b105455afc7a715104a31318ee24ddd.jpg) | Add to Reading ListSource URL: korrekt.orgLanguage: English - Date: 2012-04-26 07:06:34
|
---|
797![On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN](https://www.pdfsearch.io/img/1d85453306e922c55294d7e4e8d98158.jpg) | Add to Reading ListSource URL: www.glyc.dc.uba.arLanguage: English - Date: 2009-10-23 18:50:09
|
---|
798![BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation](https://www.pdfsearch.io/img/4d266839412ee9ccb1488e61160623e8.jpg) | Add to Reading ListSource URL: www.brics.dkLanguage: English - Date: 1998-01-16 09:45:05
|
---|
799![Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, Argentina Definability for Downward and Vertical XPath on Data Trees Sergio Abriola1 , Mar´ıa Emilia Descotte1 , and Santiago Figueira1,2 1 University of Buenos Aires, Argentina](https://www.pdfsearch.io/img/e38413f8288c42c5445fb488f5a2ae3f.jpg) | Add to Reading ListSource URL: www.glyc.dc.uba.arLanguage: English - Date: 2014-11-18 05:43:25
|
---|
800![On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively](https://www.pdfsearch.io/img/65ac79381addf136c333681e7c836d7d.jpg) | Add to Reading ListSource URL: alpha.uhasselt.beLanguage: English - Date: 2013-09-27 07:35:34
|
---|